|
|
1.
|
METHODS AND TOOLS FOR APPLIED ARTIFICIAL INTELLIGENCE
by Popovic,Dobrivoje | Bhatkar,Vijay P. Material type:  Book Description: xvii,523.Publisher: Marcel Dekker, New York c1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 P815M] (1).
|
|
|
2.
|
AN INTRODUCTION TO KNOWLEDGE ENGINEERING
by Kendal,S. L | Creen,M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,287.Publisher: Springer-Verlag, London 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.332 K33I] (1).
|
|
|
3.
|
LIMITS OF MATHEMATICS
by Chaitin,Gregory J. Material type: Book Description: x,148.Publisher: Springer Verlag, Singapore c1998Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 C349L] (1).
|
|
|
4.
|
KNOWLEDGE IN ACTION
by Reiter,Raymond. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,424.Publisher: The Mit Press, Cambridge 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.332 R278K] (1).
|
|
|
5.
|
Knowledge representation, reasoning and declarative problem solving
by Baral, Chitta. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv.Publisher: Cambridge Cambridge University Press 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 B231k] (1).
|
|
|
6.
|
Secure Group Communications over Data Networks
: [electronic resource] /
by Zou, Xukai [author.] | Ramamurthy, Byrav [author.] | Magliveras, Spyros S [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
 ; Literary form:
not fiction
Description: XIX, 172 p. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
7.
|
Optical Communication Theory and Techniques
: [electronic resource] /
by Forestieri, Enrico [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 216 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
8.
|
The Austin Protocol Compiler
: [electronic resource] /
by McGuire, Tommy M [author.] | Gouda, Mohamed G [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 141 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
9.
|
Intrusion Detection and Correlation
: Challenges and Solutions /
: [electronic resource] :
by Kruegel, Christopher [author.] | Valeur, Fredrik [author.] | Vigna, Giovanni [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 118 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
10.
|
Image and Video Encryption
: From Digital Rights Management to Secured Personal Communication.
: [electronic resource] :
by SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVII, 161 p. 65 illus. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
11.
|
Privacy, Security and Trust within the Context of Pervasive Computing
: [electronic resource] /
by Robinson, Philip [editor.] | Vogt, Harald [editor.] | Wagealla, Waleed [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 171 p. 16 illus. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
12.
|
Encyclopedia of Cryptography and Security
: [electronic resource] /
by Tilborg, Henk C. A. van [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: eReference. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
13.
|
Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems
: [electronic resource] /
by Pejaś, Jerzy [editor.] | Piegat, Andrzej [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 396 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
14.
|
Semistructured Database Design
: [electronic resource] /
by Ling, Tok Wang [author.] | Lee, Mong Li [author.] | Dobbie, Gillian [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 178 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
15.
|
Coding for Data and Computer Communications
: [electronic resource] /
by Salomon, David [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 548 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
16.
|
Trusted Computing Platforms: Design and Applications
: [electronic resource] /
by Smith, Sean W [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 239 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
17.
|
Computer Security in the 21st Century
: [electronic resource] /
by Lee, D. T [editor.] | Shieh, S. P [editor.] | Tygar, J. D [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 268 p. 77 illus. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
18.
|
Formal Aspects in Security and Trust
: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France /
: [electronic resource] :
by Dimitrakos, Theo [editor.] | Martinelli, Fabio [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 246 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
19.
|
Communications and Multimedia Security
: 8th IFIP TC-6 TC-11 Conference on Communications and Multimedia Security, Sept. 15–18, 2004, Windermere, The Lake District, United Kingdom /
: [electronic resource] :
by Chadwick, David [editor.] | Preneel, Bart [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 287 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
20.
|
Algorithmic Learning in a Random World
: [electronic resource] /
by Vovk, Vladimir [author.] | Gammerman, Alexander [author.] | Shafer, Glenn [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 324 p. 62 illus. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
